Order theory - PDFSEARCH.IO - Document Search Engine

Order theory
Results: 3266

#	Item
81	Fixing Shin’s Reading Algorithm for Peirce’s Existential Graphs Frithjof Dau Technische Universit¨ at Dresden Add to Reading List Source URL: www.dr-dau.net Language: English - Date: 2007-08-09 21:04:38 Philosophy Logic Abstraction Charles Sanders Peirce Graph theory Philosophical logic Existential graph Predicate logic Charles Sanders Peirce bibliography Typographic ligature Graph First-order logic
82	David Bohm, Roger Penrose, and the Search for Non-local Causality Before they met, David Bohm and Roger Penrose each puzzled over the paradox of the arrow of time. After they met, the case for projective physical space b Add to Reading List Source URL: tonyrobbin.net Language: English - Date: 2014-03-12 11:30:06 Physics Quantum mechanics Academia Quantum measurement Philosophy of physics Fellows of the Royal Society Quantum mind David Bohm Holomovement Implicate and explicate order Hidden variable theory Copenhagen interpretation
83	Statistical Relational Learning with Soft Quantifiers Golnoosh Farnadi1,2 , Stephen H. Bach3 , Marjon Blondeel4 , Marie-Francine Moens2 , Lise Getoor5 , and Martine De Cock1,6 1 Dept. of Applied Mathematics, Computer Sc Add to Reading List Source URL: stephenbach.net Language: English - Date: 2015-09-22 18:21:56 Logic Mathematical logic Abstraction Quantification Predicate logic Model theory Semantics Formal languages Quantifier First-order logic Constructible universe Universal quantification
84	Gentzen calculi for the existence predicate Matthias Baaz and Rosalie Iemhoff∗ Institute for Discrete Mathematics and Geometry E104, Technical University Vienna, Wiedner Hauptstrasse 8-10, 1040 Vienna, Austria. baaz@lo Add to Reading List Source URL: www.phil.uu.nl Language: English - Date: 2008-12-12 07:17:03 Logic Mathematical logic Abstraction Proof theory Model theory Non-classical logic Predicate logic Philosophical logic Natural deduction Sequent calculus Sequent First-order logic
85	Contents 1 Formal Logic with Conceptual Graphs Frithjof Dau 1.1 Introduction . . . . . . . . . . . . . . . . . . . . . 1.2 Short Introduction to Conceptual Graphs . . . . . Add to Reading List Source URL: www.dr-dau.net Language: English - Date: 2016-06-19 12:17:42 Graph theory Diagrams Knowledge representation Logic Charles Sanders Peirce Conceptual graph Existential graph Graph First-order logic Null graph Propositional calculus Diagrammatic reasoning
86	Lexicographic Composition of Fuzzy Orderings Ulrich Bodenhofer Software Competence Center Hagenberg A-4232 Hagenberg, Austria Add to Reading List Source URL: www.bioinf.jku.at Language: English - Date: 2007-11-08 03:07:42 Fuzzy logic Logic Order theory Mathematical logic Abstraction Artificial intelligence Non-classical logic Fuzzy set T-norm Partially ordered set Fuzzy control system Path ordering
87	A separation logic for refining concurrent objects Aaron Turon Mitchell Wand Northeastern University Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2010-07-15 17:40:28 Logic Mathematical logic Abstraction Model theory Predicate logic Semantics Denotational semantics First-order logic Structure Quantifier Substitution
88	doi:j.jnt Add to Reading List Source URL: www.mast.queensu.ca Language: English - Date: 2008-06-23 15:32:43 Mathematics Sieve theory Algebra Polynomials Turn sieve Prime number Number theory Factorization of polynomials over finite fields Average order of an arithmetic function
89	6.006 Intro to Algorithms QUIZ 2 REVIEW NOTES April 12, 2011 Add to Reading List Source URL: courses.csail.mit.edu Language: English - Date: 2011-04-12 22:47:49 Sorting algorithms Mathematics Order theory Radix sort Counting sort Radix Sort Integer Integer sorting Bucket sort
90	Introduction to numerical methods for hyperbolic conservation laws: FORCE-type schemes Eleuterio Toro Laboratory of Applied Mathematics University of Trento, Italy Add to Reading List Source URL: www.prague-sum.com Language: English - Date: 2014-02-21 08:57:16 Mathematical analysis Mathematics Functional analysis Monotonic function Order theory Real analysis Computational fluid dynamics Quantum field theory